Diclib.com
Woordenboek ChatGPT

Woordenboek opzoeken Oplossingen op maat

Voer een woord of zin in in een taal naar keuze 👆

Taal:

Vertaling en analyse van woorden door kunstmatige intelligentie ChatGPT

Op deze pagina kunt u een gedetailleerde analyse krijgen van een woord of zin, geproduceerd met behulp van de beste kunstmatige intelligentietechnologie tot nu toe:

hoe het woord wordt gebruikt
gebruiksfrequentie
het wordt vaker gebruikt in mondelinge of schriftelijke toespraken
opties voor woordvertaling
Gebruiksvoorbeelden (meerdere zinnen met vertaling)
etymologie

Wat (wie) is BLAST (статический анализатор) - definitie

BLAST (статический анализатор)

Berkeley Lazy Abstraction Software Verification Tool (BLAST) — программа проверки моделей для языка Си. Задача, решаемая инструментом BLAST — это проверка того, что программа удовлетворяет поведенческим требованиям к ней.

https://ru.wikipedia.org/wiki/BLAST_(статический_анализатор)

Анализатор спектра

Анализа́тор спе́ктра — прибор для наблюдения и измерения относительного распределения энергии электрических (электромагнитных) колебаний в полосе частот.

https://ru.wikipedia.org/wiki/Анализатор_спектра

Анализатор спектра

частот, измерительный прибор лабораторного применения для исследования частотных спектров, наблюдаемых на экране электроннолучевой трубки (ЭЛТ), импульсно- и амплитудно-модулированных колебаний в 3- и 10-см диапазонах волн. Для получения осциллографического изображения спектра исследуемых колебаний в координатах "мощность - частота" в А. с. применяют Супергетеродинный радиоприёмник, в котором подаваемые на вход колебания ослабляются (если необходимо) Аттенюаторами, преобразуются по частоте, усиливаются и затем поступают на вертикальные отклоняющие пластины ЭЛТ; частота гетеродина приёмника линейно изменяется на ± 8Мгц (в 10-см диапазоне) или на ±30Мгц (в 3-см диапазоне) в такт с пилообразным напряжением развёртки, одновременно подаваемым в цепи, изменяющие частоту гетеродина, и на горизонтальные пластины ЭЛТ. В А. с. предусмотрена градуировка по частоте, осуществляемая генератором калибровочных меток с плавной регулировкой амплитуды и частоты от 1 до 10 Мгц. А. с. можно измерять уход частоты генератора, малые разности частот двух генераторов и др.

Лит.: Шкурин Г. П., Справочник по электроизмерительным и радиоизмерительным приборам, 3 изд., т. 2, М., 1960.

Wikipedia

BLAST (статический анализатор)

Berkeley Lazy Abstraction Software Verification Tool (BLAST) — программа проверки моделей для языка Си. Задача, решаемая инструментом BLAST — это проверка того, что программа удовлетворяет поведенческим требованиям к ней. BLAST реализует подход абстракция и уточнение по контрпримерам (англ. counterexample-driven automatic abstraction refinement) для конструирования абстрактной модели, которая затем проверяется на свойства безопасности (англ. safety). Абстракция строится по ходу анализа и только до требуемой точности, устанавливаемой в ходе анализа.

Оригинальная версия BLAST, разработанная в Беркли, более не поддерживается. В настоящее время BLAST развивается и используется в ИСП РАН. Команда ИСП РАН регулярно участвует с инструментом BLAST в Международных соревнованиях по верификации программного обеспечения (SV-COMP).

В 2012 инструмент был награждён золотой медалью в категории DeviceDrivers64 на первых соревнованиях SV-COMP 2012, проводившихся на конференции TACAS 2012 в Таллине.

В 2013 году - бронзовой в категории DeviceDrivers64 на вторых соревнованиях SV-COMP 2013, проводившихся на конференции TACAS 2013 в Риме.

В 2014 году инструмент был награждён золотой медалью в категории DeviceDrivers64 на третьих соревнованиях SV-COMP 2014, проводившихся на конференции TACAS 2014 в Гренобле.

https://ru.wikipedia.org/wiki/BLAST (статический анализатор)

Wat is BLAST (статический анализатор) - definition